Fm'99--formal methods. Volume ii - world congress on formal methods in the development of computing systems, toulouse, france, september 20-24, 1999 proceedings
- Författare
- (Edited by Jeannette M. Wing, Jim Woodcock, Jim Davies.)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 1999 | Tyskland, Berlin, Germany, New York, New York | 1 online resource (XVIII, 942 sidor.) |